- верификация реализации
-
верификация реализации
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
- информационные технологии в целом
EN
- implementation verification
Справочник технического переводчика. – Интент. 2009-2013.
Switch-технология — технология разработки систем логического управления на базе конечных автоматов, охватывающая процесс спецификации, проектирования, реализации, отладки, верификации, документирования и сопровождения. Предложена А. А. Шалыто в 1991 году [1].… … Википедия
оценка — 3.9 оценка (evaluation): Систематическое определение степени соответствия объекта установленным критериям. Источник: ГОСТ Р ИСО/МЭК 12207 99: Информационная технология. Процессы жизненного цикла программных средств … Словарь-справочник терминов нормативно-технической документации
Р 50.1.048-2004: Информационно-телекоммуникационные игровые системы. Термины и определения — Терминология Р 50.1.048 2004: Информационно телекоммуникационные игровые системы. Термины и определения: 2.3.25 адаптивное сопровождение: Изменение программного продукта после поставки, обеспечивающее его работоспособное состояние в измененных… … Словарь-справочник терминов нормативно-технической документации
ГОСТ Р МЭК 61508-4-2007: Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 4. Термины и определения — Терминология ГОСТ Р МЭК 61508 4 2007: Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 4. Термины и определения оригинал документа: 3.7.4 анализ влияния (impact analysis) … Словарь-справочник терминов нормативно-технической документации
ПОЗИТИВНЫЙ ЭКЗИСТЕНЦИАЛИЗМ — (‘Un positivo esistenzialism’, 1948) работа Аббаньяно. Экзистенциализм трактуется не как ‘философия отчаяния’, сосредоточившаяся на кризисных состояниях человеческого существования, но как ‘позитивная’, дающая возможность человеку осуществить… … История Философии: Энциклопедия
Шалыто, Анатолий Абрамович — Анатолий Абрамович Шалыто Дата рождения: 28 мая 1948(1948 05 28) (64 года) Место рождения: Ленинград Страна … Википедия
Логистика — (Logistics) Определения логистики, история логистики, логистические системы Цель и обьект логистики, проблемы логистики, виды логических систем, основные задачи логистики, экономический эффект от использования логистики Содержание Содержание… … Энциклопедия инвестора
ДИСЦИПЛИНАРНОСТЬ, дисциплина — (лат. disciplina учение) совокупность процессов и результатов организации, структурации, социализации, институционализации теоретических знаниевых практик как предустанавливающих нормированный, санкционированный и легитимный порядок мышления и… … Социология: Энциклопедия
ГОСТ Р ИСО/МЭК 12207-2010: Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств — Терминология ГОСТ Р ИСО/МЭК 12207 2010: Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств оригинал документа: 4.5 аудит (audit): Независимая оценка программных продуктов и процессов,… … Словарь-справочник терминов нормативно-технической документации
ГОСТ Р ИСО/МЭК 12207-99: Информационная технология. Процессы жизненного цикла программных средств — Терминология ГОСТ Р ИСО/МЭК 12207 99: Информационная технология. Процессы жизненного цикла программных средств оригинал документа: 3.35 аттестация (validation): Подтверждение экспертизой и представлением объективных доказательств того, что… … Словарь-справочник терминов нормативно-технической документации